;; Mode: Lisp; Package: User

;(in-package 'user)

;; 27-Nov-96 by EHN -- Simplified for use in 11-712

;; Set parameters for GCL.

#+:gcl(proclaim '(optimize (speed 3) (safety 3) (space 0) (compilation-speed 0)))

(defun banner (&optional (string ""))
  (format *standard-output* "~%;; ~a" string))

(banner "     ******************************************************")
(banner "     **               Generation Kit                     **")
(banner "     **                    and                           **")
(banner "     **             Transformation Kit                   **")
(banner "     **                                                  **")
(banner "     **               RT Version 4-1                     **")
(banner "     **                                                  **")
(banner "     **               Masaru Tomita                      **")
(banner "     **               John Leavitt                       **")
(banner "     **                Eric Nyberg                       **")
(banner "     **                                                  **")
(banner "     **        Center for Machine Translation            **")
(banner "     **          Carnegie Mellon University              **")
(banner "     **         (c) 1996 All rights reserved             **")
(banner "     ******************************************************")
(banner)
(banner "Initializing.....")
(banner)

(pushnew :genkit4.1 *features*)

(defvar *genkit-path*)

;(setq *genkit-path* "/afs/cs/project/cmt-55/lti/Lab/Modules/NLP-712/genkit/")
(setq *genkit-path* "F:/class/NLPLab/workspace/nlp-lab/genkit/")

;; Set up file list.

(defvar *genkit-files*)

(setq *genkit-files*
      (mapcar #'(lambda (file)
		  (format nil "~a~a.lsp" *genkit-path* file))
	      '("util" "pseudo-unify" "transfer" "compgen")))

;; 17-Jul-96 by EHN -- JISCODE not needed by any current systems.
;;   '("util" "pseudo-unify" "transfer" "compgen" "jiscode")

;; Load files.

(defun load-genkit ()
  (dolist (file *genkit-files*)
	  (load file)))

(load-genkit)
(setq *DISABLE-TRACING-IN-COMPILER* nil)

(format *standard-output* "~%;;~%;; .....GenKit Version 4-0 Initialized.~%~%")
